$\forall$$i$:Id, $L$:Knd List, $x$:Id, $T$:Type.
\\[0ex]@$i$: only $L$ affects $x$ : $T$ realizes ${\it es}$. @$i$ only events in $L$ change   $x$ : $T$